trait Pet(name: String)

